I discovered a small inconsistency related to how we pick the node that represents the output of a call. In certain cases such as:

long f();

void test() {
  int y;
  long x = (long)(y = (int)f());
}

it was possible to have multiple OutNode all receiving the value returned by f.

AFAIK, there's no real observable effect from this. At most, it's a small optimization. I've added a new inline-expectations test to catch these in the future.

The first commit adds this test and accepts the test changes, and the second commit fixes the failures.